Linear extension - PDFSEARCH.IO - Document Search Engine

Linear extension
Results: 66

#	Item
11	Universit`a degli Studi di Udine Dipartimento di Matematica e Informatica Dottorato di Ricerca in Matematica e Fisica Ciclo XXVI Ph.D. Thesis Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2015-03-23 21:49:40 Order theory Proof theory Mathematical logic Metalogic Equivalence of categories Linear extension Reverse mathematics Theorem
12	Research Statement Emanuele Frittaion 2016 Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-06-04 05:36:00 Mathematics Order theory Abstraction Structure Wellfoundedness Proof theory Computability theory Linear extension Reverse mathematics Well-quasi-ordering Antichain Countable set
13	Preliminaries Well-partial orders Well-scattered partial orders Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2014-02-24 11:17:14 Order theory Mathematics Linear extension Mathematical analysis Structure
14	LINEAR-TIME ALGORITHM FOR PARTIAL REPRESENTATION EXTENSION OF INTERVAL GRAPHS∗ ˇ ‡ P. KLAV´IK† , J. KRATOCHV´IL‡ , Y. OTACHI§ , T. SAITOH¶, AND T. VYSKOCIL Abstract. Interval graphs are intersection graphs o Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
15	Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-05-14 14:09:36
16	Workshop on Linear Relations and Extension Theory Obergurgl, SeptemberProgram Add to Reading List Source URL: www.numerik.math.tugraz.at Language: English - Date: 2014-08-25 03:06:47
17	Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-11-06 07:52:12 Linear algebra Boolean algebra Electronic design automation Formal methods NP-complete problems Multiset Boolean satisfiability problem Vector space Theorems and definitions in linear algebra Mathematics Algebra Theoretical computer science
18	The NAP (N-Dimensional Array Processor) Extension to Tcl Harvey Davies CSIRO Atmospheric Research Private Bag Number 1, Aspendale Victoria 3195, Australia Add to Reading List Source URL: www.tcl.tk Language: English - Date: 2010-07-07 17:54:57 Abstract algebra Vectors Vector calculus Array programming languages Vector space Array data structure Array data type Matrix Array programming Algebra Mathematics Linear algebra
19	2 PF-Ring 2-1 Summary The upgrade project consisting of the extension of the ten existing straight sections and the creation of four new 1.4-m straight sections was successfully completed in FY2005. A new in-vacuum short Add to Reading List Source URL: pfwww.kek.jp Language: English - Date: 2010-01-05 10:34:32 KEK Storage ring Photon Factory Linear particle accelerator Undulator Insertion device Quadrupole magnet Injection kicker magnets Synchrotron radiation Physics Particle accelerators Electromagnetism
20	FF 43 BUILDER LINEAR SERIES SLIM FIRE 40 BUILDER LINEAR SERIES SAFETY INFORMATION AND OPERATIONS MANUAL Read these instructions completely before beginning installation. Failure to follow them could result in serious inj Add to Reading List Source URL: friendlyfires.ca Language: English - Date: 2014-10-17 10:59:11 Consumer electronics Electricity Electrical engineering Power cord Extension cord AC power plugs and sockets Electrical connector Mains electricity Screw Electrical wiring Electromagnetism Power cables

UPDATE